/*
 * The average procedure receives an array of real
 * numbers and returns the average of their
 * values. This toy service handles a maximum of
 * 200 numbers.
 */

struct registry {
	string nome<>;
	string CPF<>;
	string RG<>;
	string cargo<>;
};

typedef struct registry Registry;

struct registryList {
	Registry list<>;
};

typedef struct registryList RegistryList;

program PROGRAM {
    version VERSION {
        void INSERT(Registry) = 1;
	void REMOVE(Registry) = 2;
	RegistryList SEARCH(Registry) = 3;
    } = 1;
} = 22855;
